ЛО́ГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная логика. Диалектическая логика.
Все значения слова «логика»ПРЕДИКА́Т, -а, м. 1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое.
Все значения слова «предикат»Вышеназванные категории языка логики предикатов можно выразить с помощью определённых символов, с которыми мы будем постоянно встречаться при изучении курса.
История логики предикатов первого порядка свидетельствует о том, что идеалы логики не могут быть заданы произвольно.
Наличие как ограничительных, так и не ограничительных теорем логики предикатов резко усложняет вопрос с оценкой её статуса.